bewijs uit het ongerijmde

сущ.

мат.ан. доказательство "от противного"